Kripke相关论文
模型检验产生于20世纪80年代初，由美国的clarke和Emerson提出的。主要思想是：将要验证的系统抽象为有限状态机，用时态逻辑描述系统应......
克里普克在《命名与必然性》中讨论自然种类词时,拒绝接受穆勒关于普遍名称的理论.他认为:自然种类词也像专名一样是严格指示词,而......
摘要：现代模态逻辑的建立和迅猛发展，是20世纪逻辑发展史上的里程碑事件，但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为......
克里普克为了枇判弗雷格和罗素的名称摹状词理论提出了三粪论证，即模态论证、认识论的论证和语义的论证。一些人认为，唐纳兰关于限定......
以非严格标示词、严格标示词与强严格标示词的区分为基础，克里普克对必然性进行了深入地探讨。同样，克里普克对本质的探讨也是以标示......
克里普克提出的后验必然命题，指的是那些不能独立于现实世界的经验而得知其不可能不为真，且在形式上一般由两个严格指示词所组成的命......
克里普克关于“严格指示词”的论证是合理的,“严格指示词”作为一种日常语言的自然直觉的观点是站得住脚的。“严格指示词”的概......
克里普克的后验必然命题与康德的先天综合命题有相同的理论缘起，都起源于对归纳问题的思考，致力于解决经验科学知识的普遍必然性。克......
克里普克举出"间接自涉"例子表明:只有遭受不利的语境"作弄",语句才沦为"悖论"的;古普塔举出例子表明:克的"根基"说排除过多"好"的......
克里普克在《命名与必然性》中讨论自然种类词时,拒绝接受穆勒关于普遍名称的理论。他认为:自然种类词也像专名一样是严格指示词,......
意义与指称历来是语言哲学中的重要论题。相对于传统的指称理论，克里普克（Kripke）的观点比较独特，他的“历史因果指称论”一发表即引起......
克里普克的语义论证被简要重构为,大前提：如果关于名称的描述论是正确的,则名称的意义必须是确定其所指的充分必要条件;小前提：事实......
罗素的摹状词理论既广受赞誉，也引起诸多争议。斯特劳森强调了语境论，克里普克提出了“历史因果链条”的命名学说，其他一些著名学者也......
在《命名与必然性》中，克里普克论证了“一米等于S在时间t0时的长度”是一个先验的偶然命题。因为，这是一个确定“一米”指称的定义，......
摹状词理论认为，专名有涵义，专名与一个或一簇摹状词同义，其指称是通过专名的涵义来确定的。但是，克里普克对此却提出了反对意见，认为摹......
Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information t......
针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形......
